COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.CENT(Hacking with %3eval%* and friends.)
C00003 ENDMK
C⊗;
.CENT(Hacking with %3eval%* and friends.)
.BEGIN SELECT 1;CENTERIT;

****MORE PROBBS***

Assume that the variable, %3st%1, is currently bound to:
.NOFILL
←%3((X . M)(Y . T)(Z .(M N))(T . T)).
%1

evaluate:

%21.%3 assoc[Z;st]
.APART
%22.%3 eval[(QUOTE A);st]
%23.%3 apply[CONS;(A B); st]
%24.%3 apply[CAR;((A));st]
%25.%3 apply[CAR;(A);st]

.FILL
%1
II Write a version of the LISP evaluator which does call-by-name rather than
call-by-value.

.END